Modal logic - PDFSEARCH.IO - Document Search Engine

Modal logic
Results: 1643

#	Item
631	PDF Document Add to Reading List Source URL: winone.iqsociety.org Language: English - Date: 2013-12-09 04:19:41 Religion Theology Modal logic Ontology Ontological argument Existence of God Reality Possible world Omniscience Philosophy Theism Arguments for the existence of God
632	This is a preprint of an article whose final and definitive form will be/is published in The Australasian Journal of Philosophy [2008]; The Australasian Journal of Philosophy is available online at: http://journalsonline Add to Reading List Source URL: eprints.soton.ac.uk Language: English - Date: 2010-12-20 13:23:41 Causality Social philosophy Metaphysics Harry Frankfurt Moral responsibility Frankfurt Modal logic Counterexample Action theory Philosophy Free will Philosophy of life
633	NASSLLI North American Summer School of Logic, Language, and Information University of Texas at Austin, June 16–24, 2012 Add to Reading List Source URL: www.nasslli2012.com Language: English - Date: 2014-04-12 19:28:12 Artificial intelligence Epistemic modal logic Modal logic Alan Turing Logic Jeroen Groenendijk Hans Kamp Science British people Academia
634	Extracting Feasible Programs Add to Reading List Source URL: aaai.org Language: English - Date: 2006-01-11 06:16:21 Proof theory Functions and mappings Logic in computer science Function Primitive recursive function Curry–Howard correspondence Second-order logic Modal logic Computational complexity theory Mathematics Logic Mathematical logic
635	PDF Document Add to Reading List Source URL: media.wiley.com Language: English - Date: 2007-10-05 17:44:52 Non-classical logic Predicate logic Philosophical logic First-order logic Propositional calculus Paraconsistent logic Interpretation Modal logic Negation Logic Mathematical logic Semantics
636	PDF Document Add to Reading List Source URL: media.wiley.com Language: English - Date: 2011-09-26 07:12:08 Non-classical logic Predicate logic Philosophical logic First-order logic Propositional calculus Paraconsistent logic Interpretation Modal logic Negation Logic Mathematical logic Semantics
637	VOL.  NO.  APRIL  CONTENTS ARTICLES In Defence of Magical Ersatzism Why Aren’t Duties Rights? Add to Reading List Source URL: philpapers.org Language: English Philosophy Ontology Philosophical logic Metaphysics Mathematical logic Property Finitary relation Modal logic Binary relation Mathematics Logic Mereology
638	Automatic Mutual Exclusion and Atomicity Checks Mart´ın Abadi1,2 1 2 Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2009-07-21 20:04:04 Predicate logic Models of computation Formal methods Computability theory Lambda calculus Theoretical computer science Mereology Modal logic Free variables and bound variables Logic Mathematics Mathematical logic
639	Notes on the Interpretation of Modal and Intuitionistic Logic, 1966 Box 7, Folder 4 Richard C. Jeffrey Papers, [removed], ASP[removed], Archives of Scientific Philosophy, Special Collections Department, University of Pitt Add to Reading List Source URL: digital.library.pitt.edu Language: English - Date: 2013-06-01 22:43:14 Mathematical constructivism Philosophy of mathematics Non-classical logic Philosophical logic Epistemology Intuitionism Intuitionistic logic Kripke semantics Saul Kripke Logic Mathematical logic Mathematics
640	Joanna Odrowąż-Sypniewska University of Warsaw [removed] Rigidity and Essentialism: Do we have a viable conception of rigidity for natural kind terms? In Naming and Necessity we find two criteria of rigidity: Add to Reading List Source URL: www.bristol.ac.uk Language: English - Date: 2007-10-06 09:58:10 Philosophy Modal logic Reference Essentialism Rigid designator Structural rigidity Definition Naming and Necessity Rigidity Linguistics Philosophy of language Logic

UPDATE